Testing from a nondeterministic finite state machine using adaptive state counting

Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

A number of authors have looked at the problem of deriving a checking experiment from a nondeterministic finite state machine that models the required behaviour of a system. We show that these methods can be extended if it is known that the implementation is equivalent to some (unknown) deterministic finite state machine. When testing a deterministic implementation, the test output provides inf...

Finite State Machine Testing from an or State Refinement Design

The paper formalizes the OR refinement of finite state machines and develops an efficient method to integrate the test sets of the component machines in order to test the flattened machine. The approach supports componentsoftware development since it constructs test sets for an assembly of systems from readily available test sets of the prefabricated parts.

Adaptive testing of a deterministic implementation against a nondeterministic nite state machine

A number of authors have looked at the problem of deriving a checking experiment from a nondeterministic nite state machine that mod els the required behaviour of a system We show that these methods can be extended if it is known that the implementation is equivalent to some unknown deterministic nite state machine When testing a deterministic implementation the test output provides information...

Testing from a Finite-State Machine: Extending Invertibility to Sequences

When testing a system modelled as a nite state machine it is de sirable to minimize the e ort required Yang and Ural demon strate that it is possible to utilize test sequence overlap in order to reduce the test e ort and Hierons represents this overlap by us ing invertible transitions In this paper invertibility will be extended to sequences in order to further reduce the test e ort and encapsu...

Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines